Microsoft Research (MSR) ist eine Abteilung von Microsoft, die 1991 gegründet wurde, um Informatikthemen zu erforschen. Microsoft Research gehört zu den größten Forschungseinrichtungen der Welt und beschäftigt bekannte Forscher, darunter die Turing-Award-Gewinner C.A.R. Hoare, Butler Lampson, Charles P. Thacker und (bis zu dessen Verschwinden...